nestedhvm: do not send IPIs twice
authorTim Deegan <tim@xen.org>
Fri, 19 Aug 2011 12:29:25 +0000 (13:29 +0100)
committerTim Deegan <tim@xen.org>
Fri, 19 Aug 2011 12:29:25 +0000 (13:29 +0100)
commit0fed97ff1b2d89ebc8c9e251285f2cc22f8bab55
treea849c170d80b313804a7f894e2c9275256181142
parentb5a0e71dd79e976796098f415e30dfcb276de9f8
nestedhvm: do not send IPIs twice

In p2m_get_nestedp2m() there is no need to send IPIs via
nestedhvm_vmcx_flushtlb() since p2m_flush_table() already
did that.

Signed-off-by: Christoph Egger <Christoph.Egger@amd.com>
Committed-by: Tim Deegan <tim@xen.org>
xen/arch/x86/mm/p2m.c